integrate 4 sqrt(1-t^2) from t = 0 to 1